Exterior Gateway Protocol formal specification
نویسنده
چکیده
This RFC is the specification of the Exterior Gateway Protocol (EGP). This document updates RFCs 827 and 888. This RFC specifies a standard for the DARPA community. Interactions between gateways of different autonomous systems in the ARPA-Internet must follow this protocol.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملBGP-S: A Protocol for Terrestrial and Satellite Network Integration in Network Layer
To accomplish network layer integration of terrestrial and satellite IP networks, special exterior gateway protocols are needed. In this work, a new exterior gateway protocol called Border Gateway Protocol – Satellite version (BGP-S) is introduced that enables automated discovery of paths that go through the satellite network. This protocol is designed to work in only one terrestrial gateway in...
متن کاملNetwork layer integration of terrestrial and satellite IP networks over BGP-S
To accomplish network layer integration of terrestrial and satellite IP networks, special exterior gateway protocols are needed. In this work, a new exterior gateway protocol calledBorder Gateway Protocol Satellite version (BGP-S) is introduced that enables automated discovery of paths that go through the satellite network. This protocol is designed to work in only one terrestrial gateway in ev...
متن کاملUsing Process Algebra to Design Better Protocols
Protocols are mainly specified in natural languages, such as English, without presenting a formal specification or some sort of pseudo code. At first glance this seems to be an advantage: everybody can easily read and understand the specification, and hence, the protocol is easy to implement. However, looking at contemporary protocol developments more closely, it turns out that natural language...
متن کاملBIGP- a new single protocol that can work as an igp (interior gateway protocol) as well as egp (exterior gateway protocol)
EGP and IGP are the key components of the present internet infrastructure. Routers in a domain forward IP packet within and between domains. Each domain uses an intra-domain routing protocol known as Interior Gateway Protocol (IGP) like IS-IS, OSPF, RIP etc to populate the routing tables of its routers. Routing information must also be exchanged between domains to ensure that a host in one doma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- RFC
دوره 904 شماره
صفحات -
تاریخ انتشار 1984